Buy Used and New Stephan Merz Books

Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November ... (Lecture Notes in Computer Science)

by Stephan Merz,Jun Pang

ISBN 13: 9783319117362

Format: Paperback (480 pages)
Publisher: Springer
Published: 23 Sep 2014

Save for later

Formal Systems Specification: The RPC-Memory Specification Case Study: 1169 (Lecture Notes in Computer Science)

by Manfred Broy,Stephan Merz,Katharina Spies

ISBN 13: 9783540619840

Format: Paperback (572 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

by Fred Kröger,Stephan Merz

ISBN 13: 9783642086809

Format: Paperback (448 pages)
Publisher: Springer
Published: 25 Nov 2010

Save for later